翻訳と辞書 Words near each other ・ Grothendieck existence theorem ・ Grothendieck group ・ Grothendieck inequality ・ Grothendieck local duality ・ Grothendieck space ・ Grothendieck spectral sequence ・ Grothendieck topology ・ Grothendieck trace formula ・ Grothendieck universe ・ Grothendieck's connectedness theorem ・ Grothendieck's Galois theory ・ Grothendieck's relative point of view ・ Grothendieck's Tôhoku paper ・ Grothendieck–Katz p-curvature conjecture ・ Grothendieck–Ogg–Shafarevich formula ・ Grothendieck–Riemann–Roch theorem ・ Grothendieck–Teichmüller group ・ Grothusenkoog ・ Grotius Lectures ・ Grotius Society ・ Grotiusomyia ・ Grotki ・ Grotkowo ・ Grotli ・ Grotniki ・ Grotniki Duże ・ Grotniki Małe ・ Grotniki, Greater Poland Voivodeship ・ Grotniki, West Pomeranian Voivodeship ・ Grotniki, Łódź Voivodeship Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Grothendieck–Riemann–Roch theorem ： ウィキペディア英語版 Grothendieck–Riemann–Roch theorem In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces. Riemann–Roch type theorems relate Euler characteristics of the cohomology of a vector bundle with their topological degrees, or more generally their characteristic classes in (co)homology or algebraic analogues thereof. The classical Riemann–Roch theorem does this for curves and line bundles, whereas the Hirzebruch–Riemann–Roch theorem generalises this to vector bundles over manifolds. The Grothendieck–Riemann–Roch theorem sets both theorems in a relative situation of a morphism between two manifolds (or more general schemes) and changes the theorem from a statement about a single bundle, to one applying to chain complexes of sheaves. The theorem has been very influential, not least for the development of the Atiyah–Singer index theorem. Conversely, complex analytic analogues of the Grothendieck–Riemann–Roch theorem can be proved using the index theorem for families. Alexander Grothendieck gave a first proof in a 1957 manuscript, later published.〔A. Grothendieck. Classes de faisceaux et théorème de Riemann-Roch (1957). Published in SGA 6, Springer-Verlag (1971), 20-71.〕 Armand Borel and Jean-Pierre Serre wrote up and published Grothendieck's proof in 1958.〔A. Borel and J.-P. Serre. Bull. Soc. Math. France 86 (1958), 97-136.〕 Later, Grothendieck and his collaborators simplified and generalized the proof.〔SGA 6, Springer-Verlag (1971).〕 ==Formulation== Let ''X'' be a smooth quasi-projective scheme over a field. Under these assumptions, the Grothendieck group :$K\_0(X)\backslash ,$ of bounded complexes of coherent sheaves is canonically isomorphic to the Grothendieck group of bounded complexes of finite-rank vector bundles. Using this isomorphism, consider the Chern character (a rational combination of Chern classes) as a functorial transformation :$\backslash mbox\; \backslash colon\; K\_0(X)\; \backslash to\; A(X,\; ),$ where :$A\_d(X,)\backslash ,$ is the Chow group of cycles on ''X'' of dimension ''d'' modulo rational equivalence, tensored with the rational numbers. In case ''X'' is defined over the complex numbers, the latter group maps to the topological cohomology group :$H^(X,\; ).$ Now consider a proper morphism :$f\; \backslash colon\; X\; \backslash to\; Y\backslash ,$ between smooth quasi-projective schemes and a bounded complex of sheaves $$ on $X.$ The Grothendieck–Riemann–Roch theorem relates the pushforward map :$f\_(f\_^\backslash bull)\backslash mbox(Y)\; =\; f\_$ * (\mbox(^\bull) \mbox(X) ). Here td(''X'') is the Todd genus of (the tangent bundle of) ''X''. Thus the theorem gives a precise measure for the lack of commutativity of taking the push forwards in the above senses and the Chern character and shows that the needed correction factors depend on ''X'' and ''Y'' only. In fact, since the Todd genus is functorial and multiplicative in exact sequences, we can rewrite the Grothendieck–Riemann–Roch formula as :$\backslash mbox(f\_^\backslash bull)\; =\; f\_$ * (\mbox(^\bull) \mbox(T_f) ), where ''T''''f'' is the relative tangent sheaf of ''f'', defined as the element ''TX'' − ''f'' *''TY'' in ''K''0(''X''). For example, when ''f'' is a smooth morphism, ''T''''f'' is simply a vector bundle, known as the tangent bundle along the fibers of ''f''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Grothendieck–Riemann–Roch theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.